Formalizing Ontology Modularization through the Notion of Interfaces
نویسنده
چکیده
In this paper, we propose a new formalism for modular ontologies, which exploits the notion of interfaces as well as epistemic queries. In the proposed formalism, each ontology module both employs and realizes two distinct sets of interfaces. The axioms in each interface form the public section of the ontology module, while its ABox and TBoxes are private and can only be accessed through epistemic queries. This formalism permits the separation of configuration and development time manipulation tasks of a modular ontology development process. Hence, ontology modules can be developed independently of each others’ signature and description language.
منابع مشابه
Building Modular Ontologies and Specifying Ontology Joining, Binding, Localizing and Programming Interfaces in Ontologies Implemented in OWL
The notion of an Application Programming Interface (API) proved a breakthrough in software modularization and reuse by allowing developers to separate applications’ public interfaces from their detailed internal structure. No comparable notion exists currently for ontologies, although there is considerable other work on issues related to modularization of ontologies. We present four use cases f...
متن کاملTowards ontologies for formalizing modularization and communication in large software systems
Large software systems are modularized in order to improve manageability. The parts of the software system communicate in order to achieve the desired functionality. To better understand, develop, manage, and maintain the resulting complexity, this paper presents a framework of ontologies. The ontologies range from very general, foundational ones to ontologies that elucidate the specificities o...
متن کاملOntology Modularization for Knowledge Selection: Experiments and Evaluations
Problems with large monolithical ontologies in terms of reusability, scalability and maintenance have led to an increasing interest in modularization techniques for ontologies. Currently, existing work suffers from the fact that the notion of modularization is not as well understood in the context of ontologies as it is in software engineering. In this paper, we experiment on applying state-of-...
متن کاملRequirements for Logical Modules
Modularization for ontologies and thus for logical theories is receiving increasing interest, but a clear presentation of requirements for solutions is still missing. This paper presents a collection of such requirements. Some of these are derived as desiderata in the context of applying modularization to the axiomatization of a top-level ontology, whereas others are determined by analyzing the...
متن کاملI3OM - An Iterative, Incremental and Interactive Approach for Ontology Navigation based on Ontology Modularization
Although ontologies are used to describe a specific domain of interest, they can grow in size exponentially, compromising their usage. Furthermore, current ontology engineering tools do not effectively support the data/information visualization and navigation described through large ontologies. To address these issues, we claim that the experience and results of navigating/browsing ontology-des...
متن کامل